Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·3d
🦀Rust Macros
Cactus Language • Pragmatics 11
inquiryintoinquiry.com·14h
📝Concrete Syntax
Yet another study doubts that LLM reasoning shows true logic over pattern imitation
the-decoder.com·17h
🤖Grammar Induction
The Kepler Problem (Part 11)
johncarlosbaez.wordpress.com·3h
🕸️Tensor Networks
Computational Music Synthesis
cs.gmu.edu·1h·
Discuss: Hacker News
🎛️Audio Synthesis
How LLMs Transform Language into Vectors: The Power of Embeddings
dev.to·6h·
Discuss: DEV
🗂️Vector Search
Generating Structured Outputs from LLMs
towardsdatascience.com·1d
📐Format Grammars
Your LLM Knows the Future: Uncovering Its Multi-Token Prediction Potential
machinelearning.apple.com·2d·
Discuss: Hacker News
💻Local LLMs
Lobsters Interview with Hwayne
lobste.rs·1d·
Discuss: Lobsters
⚔️Lean Tactics
Simple Programming Languages
ryanbrewer.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Yet Another LLM Rant
overengineer.dev·16h·
Discuss: Hacker News
λLambda Formalization
REPL + Prompt
funcall.blogspot.com·20h·
Discuss: www.blogger.com
🧠Lisp Dialects
Mars v1.0.0 — a small language implemented in Go, with Go-like struct literals and clear errors
reddit.com·12h·
Discuss: r/golang
🧠Lisp Dialects
GPT-5 on SWE-bench: Cost and performance deep-dive
mini-swe-agent.com·1d·
Discuss: Hacker News
⚡Proof Automation
Neurosymbolic AI: The 3rd Wave
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🔲Cellular Automata
Programming with AI: You're Probably Doing It Wrong
devroom.io·2d·
Discuss: Hacker News
⚡Proof Automation
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·3d·
Discuss: Hacker News
💻Programming languages
Parametric Matrix Models
nature.com·2d·
Discuss: Hacker News
📐Linear Algebra
How to Use Antlr Pattern Matching
tomassetti.me·1d·
Discuss: Hacker News
🔍Z3 Parsing
Grok’s Share and Claude’s Leak: 5 Things We Can Learn From System Prompts
machinelearningmastery.com·1d
📝ABNF Parsing